2*integral_0^1 (1/(1+x^2)-atan)